filmov
tv
Tropicalization as base change along a non archimedean valuation